From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐งฎAlgebraic Archives
Flag this post
Horn Clauses
youtube.comยท3h
๐Isabelle/HOL
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
๐บ๏ธCompetency Maps
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐ปProgramming languages
Flag this post
New: Online Masterโs Program in Applied Ontology
dailynous.comยท23h
๐ญCultural Informatics
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Nonmonotonic Logic
๐ฌLogic in Computer Science
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท16h
๐ปProgramming languages
Flag this post
Thought Engineering
๐ง Intelligence Compression
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.orgยท16h
โ๏ธLean Tactics
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท16h
๐ABNF Extensions
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Clario streamlines clinical trial software configurations using Amazon Bedrock
aws.amazon.comยท4h
๐Archival Workflows
Flag this post
Loading...Loading more...